A Formal Model of a Framework for Simulation-Based Animation
نویسندگان
چکیده
We present a rigorous formal but transparent specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kernel with a virtual visualization machine for 3D animation. The semantics of the simulator and the virtual visualization machine are formally defined by means of distributed Abstract State Machine (ASMs) rules. The ASM rules truly reflect the specification given in the SystemC User’s Manual and additionally provide a comprehensive definition of the virtual machine for advanced 3D animation. For the interaction between the SystemC simulator and the visualization we have defined a simple message exchange protocol, which can be used for socket communication. We see our formal semantics as a concise, unambiguous, high–level documentationoriented specification to capture the complex interaction between the SystemC simulator and the visualization and to define adequate interfaces.
منابع مشابه
A Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملSimulation and animation of visual languages based on typed algebraic graph transformation
In recent years, visual models represented by graphs have become very popular in systems development, as the wide-spread use of UML and Petri nets proves. Visual modeling techniques provide an intuitive, yet precise way to model the structure and behavior of systems at their natural level of abstraction. Validating model behavior is one of the main aims of visual behavior modeling. To express t...
متن کاملHammerstein-Wiener Model: A New Approach to the Estimation of Formal Neural Information
A new approach is introduced to estimate the formal information of neurons. Formal Information, mainly discusses about the aspects of the response that is related to the stimulus. Estimation is based on introducing a mathematical nonlinear model with Hammerstein-Wiener system estimator. This method of system identification consists of three blocks to completely describe the nonlinearity of inp...
متن کاملAn integrated simulation-DEA approach to multi-criteria ranking of scenarios for execution of operations in a construction project
The purpose of this study is to examine different scenarios for implementing operations in the pre-construction phase of a project, based on several competing criteria with different importance levels in order to achieve a more efficient execution plan. This paper presents a new framework that integrates discrete event simulation (DES) and data envelopment analysis (DEA) to rank different scena...
متن کامل